منابع مشابه
Irrational Proofs for Two Theorems of Stanley
We give new proofs of two theorems of Stanley on generating functions for the integer points in rational cones. The first, Stanley’s reciprocity theorem, relates the rational generating function σv+K(x) := ∑ m∈v+K∩Z x m, where K is a rational cone and v ∈ R, with σ−v+K◦(1/x). The second theorem asserts that the generating function of the Ehrhart quasipolynomial LP(n) := # (
متن کاملExtensive Imitation is Irrational and Harmful∗
Rationality leads people to imitate those with similar tastes but different information. But people who imitate common sources develop correlated beliefs, and rationality demands that later social learners take this redundancy into account. This implies severe limits to rational imitation. We show that (i) in most natural observation structures besides the canonical single-file case, full ratio...
متن کاملBelief polarization is not always irrational.
Belief polarization occurs when 2 people with opposing prior beliefs both strengthen their beliefs after observing the same data. Many authors have cited belief polarization as evidence of irrational behavior. We show, however, that some instances of polarization are consistent with a normative account of belief revision. Our analysis uses Bayesian networks to characterize different kinds of re...
متن کاملDiscovering and Proving that π Is Irrational
Ivan Niven’s proof of the irrationality of π is often cited because it is brief and uses only calculus. However it is not well motivated. Using the concept that a quadratic function with the same symmetric properties as sine should when multiplied by sine and integrated obey upper and lower bounds for the integral, a contradiction is generated for rational candidate values of π . This simplifyi...
متن کاملBoxing Theories
In previous papers, I presented an inference method for rst-order logic based on the transformation between canonical normal forms (Bittencourt, 1994) and a concurrent algorithm for this transformation that, in the one hand, generates only clauses that are not subsumed by any other and, in the other hand, is naturally concurrent and therefore easy to parallelize (Bitten-court, 1995). This algor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophia
سال: 2015
ISSN: 0048-3893,1574-9274
DOI: 10.1007/s11406-015-9589-3